$\forall$$a$:$\mathbb{Z}$, $n$:$\mathbb{Z}^{-\circ}$. ($\mid$$a$$\mid$ $<$ $\mid$$n$$\mid$) $\Rightarrow$ (($a$ rem $n$) = $a$)